翻訳と辞書 Words near each other ・ Kleemu ・ Kleena Kleene ・ Kleene algebra ・ Kleene award ・ Kleene fixed-point theorem ・ Kleene star ・ Kleene's algorithm ・ Kleene's O ・ Kleene's recursion theorem ・ Kleene's T predicate ・ Kleenex ・ Kleenex Girl Wonder ・ Kleenex/LiLiPUT ・ Kleeneze ・ Kleene–Brouwer order ・ Kleene–Rosser paradox ・ Kleenheat Gas ・ Kleenmaid ・ KleenSpeed Technologies ・ Kleercut ・ Kleerup ・ Kleerup (album) ・ Kleetope ・ Kleeware ・ Klee–Minty cube ・ KLEF ・ Klefe ・ Kleffman v. Vonage Holdings Corp. ・ KLEG-CD ・ Kleggie Hermsen Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Kleene–Rosser paradox ： ウィキペディア英語版 Kleene–Rosser paradox In mathematics, the Kleene–Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent, in particular the version of Curry's combinatory logic introduced in 1930, and Church's original lambda calculus, introduced in 1932–1933, both originally intended as systems of formal logic. The paradox was exhibited by Stephen Kleene and J. B. Rosser in 1935. ==The paradox== Kleene and Rosser were able to show that both systems are able to characterize and enumerate their provably total, definable number-theoretic functions, which enabled them to construct a term that essentially replicates the Richard paradox in formal language. Curry later managed to identify the crucial ingredients of the calculi that allowed the construction of this paradox, and used this to construct a much simpler paradox, now known as Curry's paradox. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Kleene–Rosser paradox」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.